Browsing by Subject "Model checking"

Now showing items 1-6 of 6

    • Article  

      Probabilistic resource failure in real-time process algebra 

      Philippou, Anna; Cleaveland, R.; Lee, I.; Smolka, S.; Sokolsky, O. (1998)
      PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...
    • Article  

      Process ordering in a process calculus for spatially-explicit ecological models 

      Philippou, Anna; Toro, Mauricio (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...
    • Conference Object  

      Reachability analysis for a class of petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2009)
      In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri net, an initial marking ...
    • Article  

      Synchronous parallel composition in a process calculus for ecological models 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
    • Article  

      Synchronous parallel composition in a process calculus for ecological modelsAAA 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
    • Article  

      Weak bisimulation for probabilistic systems 

      Philippou, Anna; Lee, I.; Sokolsky, O. (2000)
      In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and nondeterministic behavior. By resolving the ...